#!/bin/sh
# DON'T CHANGE ME!
NAMESERVER=localhost:5436
IBIS_HOME=".."
#JAVA_HOME=/usr/lib/jvm/java-6-sun
#---------
RUNSIZE=2
POOL=poolname

IBIS_CP=$IBIS_HOME/lib/bcel-5.1-fixed.jar:$IBIS_HOME/lib/commons-jxpath-1.1.jar:$IBIS_HOME/lib/commons-logging.jar:$IBIS_HOME/lib/commons-logging-api.jar:$IBIS_HOME/lib/ibis-compile-2.1.jar:$IBIS_HOME/lib/ibis-io-2.1.1.jar:$IBIS_HOME/lib/ibis-poolinfo-2.1.1.jar:$IBIS_HOME/lib/ibis-server-2.1.1.jar:$IBIS_HOME/lib/ibis-util-2.1.jar:$IBIS_HOME/lib/ipl-2.1.1.jar:$IBIS_HOME/lib/ipl-impl-2.1.1.jar:$IBIS_HOME/lib/ipl-impl-dummy-2.1.1.jar:$IBIS_HOME/lib/ipl-impl-nio-2.1.1.jar:$IBIS_HOME/lib/ipl-impl-tcp-2.1.1.jar:$IBIS_HOME/lib/jstun-0.6.1.jar:$IBIS_HOME/lib/log4j-1.2.13.jar:$IBIS_HOME/lib/lrmc.jar:$IBIS_HOME/lib/satin-2.1.jar:$IBIS_HOME/lib/sbbi-upnplib-1.0.2.jar:$IBIS_HOME/lib/smartsockets-1.09.jar:$IBIS_HOME/lib/spring.jar:$IBIS_HOME/lib/TGGraphLayout-JM.jar:$IBIS_HOME/lib/trilead-ssh2-build213.jar

java -cp $IBIS_CP ibis.server.Server --port 5436 --stats --events
